- récursivement énumérable
- рекурсивно перечислимый
Dictionnaire polytechnique Français-Russe. 2013.
récursivement énumérable
Смотреть что такое "récursivement énumérable" в других словарях:
Recursivement enumerable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… … Wikipédia en Français
Récursivement énumérable — En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d une fonction calculable (il faut ajouter l ensemble vide à la dernière… … Wikipédia en Français
Ensemble récursivement énumérable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… … Wikipédia en Français
Langage partiellement décidable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… … Wikipédia en Français
RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… … Encyclopédie Universelle
Diophantien — L adjectif diophantien (du nom de Diophante d Alexandrie) s applique à tout ce qui concerne les équations polynomiales à coefficients entiers, également appelées équations diophantiennes. Les notions qui suivent ont été développées pour venir à… … Wikipédia en Français
Ensemble diophantien — Diophantien L adjectif diophantien (du nom de Diophante d Alexandrie) s applique à tout ce qui concerne les équations polynomiales à coefficients entiers, également appelées équations diophantiennes. Les notions qui suivent ont été développées… … Wikipédia en Français
Theorie axiomatique — Théorie axiomatique Quand on parle de théorie mathématique on fait référence à une somme d énoncés, de définitions, de méthodes de preuve etc. Par exemple, quand dans cet article on parle de théorie de la calculabilité c est en ce sens. Par… … Wikipédia en Français
Théorie axiomatique — Quand on parle de théorie mathématique on fait référence à une somme d énoncés, de définitions, de méthodes de preuve etc. Par exemple, quand dans cet article on parle de théorie de la calculabilité c est en ce sens. Par théorie axiomatique, on… … Wikipédia en Français
Théorème de Rice — En théorie de la calculabilité, le théorème de Rice dit que toute propriété non triviale (c’est à dire qui n est pas toujours vraie ou toujours fausse) sur la sémantique dénotationnelle d un langage de programmation Turing complet est indécidable … Wikipédia en Français
Théorème de rice — En théorie de la calculabilité, le théorème de Rice dit que toute propriété non triviale (c’est à dire qui n est pas toujours vraie ou toujours fausse) sur la sémantique dénotationnelle d un langage de programmation Turing complet est indécidable … Wikipédia en Français
